chain_master() == (Id List) + (from:Id  (to:Id  )) 

latex

Definitions	left + right, type List, x:A  B(x), Id,
FDL editor aliases	chain_master